$M$.init($x$,$v$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$x_{0}$ != 1of(2of(2of($M$)))($x$) $\Rightarrow$ $v$ $=$ $x_{0}$